Nuprl Definition : atom def 9,38

Atom is Primitive 
latex


origin